Description Logics Publications

Publications in Description Logics

Explore the most influential research papers and scholarly works that have shaped Description Logics. Use the concept filter below to focus on a specific sub-area of research.

Description Logics

1.2K

Publications

74.6K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Studies in the Logic of Explanation Carl G. Hempel, Paul Oppenheim Philosophy of Science Scientific ExplanationSemanticsTheoretical ArgumentSocial SciencesPhilosophy Of Action	1948	3K
Pellet: A practical OWL-DL reasoner Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Journal of Web Semantics EngineeringAutomated ReasoningDescription LogicFormal MethodsComputer Science	2007	2.6K
OWL Web Ontology Language - Reference Mike Dean, A.T. Schreiber, Sean Bechofer, Data Archiving and Networked Services (DANS) Ontology MatchingEngineeringOntology EngineeringSemantic TechnologyLanguage Constructs	2004	2.4K
The Description Logic Handbook – Theory, Implementation and Applications C.J.H. Mann Kybernetes Applied LogicKnowledge RepresentationEngineeringAutomated ReasoningDescription Logic	2003	2.2K
Extending the database relational model to capture more meaning E. F. Codd ACM Transactions on Database Systems Relational DatabaseEngineeringSemantic WebSemanticsNatural Language Processing	1979	1.5K
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Journal of Automated Reasoning Natural Language ProcessingEngineeringAutomated ReasoningPropositional LogicDescription Logic	2007	1.3K
The DLV system for knowledge representation and reasoning Nicola Leone, Gerald Pfeifer, Wolfgang Faber, ACM Transactions on Computational Logic EngineeringKnowledge-based ReasoningSemanticsLogic ProgrammingNon-monotonic Logic	2006	1.2K
Institutions: abstract model theory for specification and programming Joseph A. Goguen, R. M. Burstall Journal of the ACM EngineeringWell-founded SemanticsHigher-order LogicSemanticsPopulation Explosion	1992	974
On a generalization of quantifiers Andrzej Mostowski Fundamenta Mathematicae EngineeringFormal CalculiSemanticsPublisher SummaryNon-classical Logic	1957	685
Knowledge representation in fuzzy logic L.A. Zedeh IEEE Transactions on Knowledge and Data Engineering Fuzzy SystemsEngineeringFuzzy ControlFuzzy ModelingKnowledge-based Reasoning	1989	618
Reasoning within Fuzzy Description Logics Umberto Straccia Journal of Artificial Intelligence Research Fuzzy Description LogicsEngineeringIntelligent SystemsKnowledge-based ReasoningSemantics	2001	526
Strongly equivalent logic programs Vladimir Lifschitz, David Pearce, Agustín Valverde ACM Transactions on Computational Logic Applied LogicComputational LogicEquivalent Logic ProgramsNon-monotonic LogicEngineering	2001	525

Page 1